micro-PRL - significado y definición. Qué es micro-PRL
Diclib.com
Diccionario ChatGPT
Ingrese una palabra o frase en cualquier idioma 👆
Idioma:

Traducción y análisis de palabras por inteligencia artificial ChatGPT

En esta página puede obtener un análisis detallado de una palabra o frase, producido utilizando la mejor tecnología de inteligencia artificial hasta la fecha:

  • cómo se usa la palabra
  • frecuencia de uso
  • se utiliza con más frecuencia en el habla oral o escrita
  • opciones de traducción
  • ejemplos de uso (varias frases con traducción)
  • etimología

Qué (quién) es micro-PRL - definición

WIKIMEDIA DISAMBIGUATION PAGE
PRL (disambiguation)

PRL         
Proof Refinement Logic. Versions: micro-PRL, lambda-PRL, nu-PRL. ["PRL: Proof Refinement Logic Programmer's Manual", CS Dept, Cornell, 1983]. (1995-01-24)
Micro Forté         
VIDEO GAME DEVELOPMENT COMPANY
Micro Forte
Micro Forté Pty Ltd is an Australian electronic entertainment company with development studios in Canberra and Sydney. Founded in 1985 by John De Margheriti at a time when there was little game development presence in Australia, Micro Forté has been closely linked to the growth of the Australian game development industry, with CEO De Margheriti initiating events such as the Australian Game Developers Conference (AGDC) and founding the Academy of Interactive Entertainment (AIE).
The Micro User         
UK MAGAZINE
Acorn Computing; BBC Micro User; Acorn computing; Micro User
The Micro User (titled BBC Micro User in the first three issues) was a British specialist magazine catering to users of the BBC Microcomputer series, Acorn Electron, Acorn Archimedes and, to a limited extent, the Cambridge Z88. It had a comprehensive mix of reviews of games, application software, and the latest Acorn computers; type-in programs (duplicated on a "cover disk" which was available separately), a correspondence page offering help with computer problems, and approachable technical articles on programming and the BBC Micro's internals.

Wikipedia

PRL